tree\_leaf($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inl($x$)